🗳️ Consensus Algorithms - CWhiting · Scour

Paxos Secures SEC License to Settle Securities Transactions Nationwide 📜Software Licensing

Extracting formal specifications from Apache ZooKeeper with AI tools and Apalache 🤖AI Coding Tools

protocols-made-fun.com·6d

Scalable Constrained Multi-Agent Reinforcement Learning via State Augmentation and Consensus for Separable Dynamics 🖧Distributed Systems

SEC approves Paxos as ‘blockchain-native’ clearing agency ₿Crypto

cointelegraph.com·2d

Paxos wins SEC approval to clear U.S. stocks on blockchain 🤝Consensus

coindesk.com·2d

Raft Consensus with a Minority of Nodes 🤝Consensus

padhye.org·5d·Lobsters, Hacker News

Paxos says the US SEC has approved its registration as a clearing agency, allowing it to provide clearing and settlement services for eligible transactions (Dan... 🤖AI News

techmeme.com·2d

Joe Armstrong 🌊Streaming Systems

deprogrammaticaipsum.com·2h

carterburn/ferris-ferry: Raft Implementation in Rust 🤝Consensus

github.com·5d·Hacker News

Sreejay-Reddy/Sentinel: Execution coordination primitive with leases, fencing tokens, and reconciliation semantics. 🔒Concurrency Control

github.com·2d·r/devops

Chapter: Simplex 🤝Consensus

decentralizedthoughts.github.io·6d

High availability from first principles 🖧Distributed Systems

multigres.com·3d

Persistent multiplayer state without chaos 🌐Multiplayer Networking

packagemain.tech·6d·Hacker News, r/PostgreSQL, r/coding, r/golang, r/webdev

U.S. CFTC opens crypto 'perp' door with first approval at regulated firm 💰Financial Plumbing

coindesk.com·2d

How Conflict-free Replicated Data Types power active-active database replication 🔄Replication

SEC charges Texas man with $12.3M crypto fraud using fake AI trading bots ₿Crypto

cointelegraph.com·1d

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models 🖧Distributed Systems

Tether's U.S.-focused stablecoin grows 500% in a month, but still lags Circle, Ripple, Paypal ₿Crypto

coindesk.com·3d

A Fixed-Time Sliding-Mode Framework for Constraint Optimization 🎛️Model Predictive Control

Crypto Advocacy Group Pushes Back Against US Senator’s Claims on Companies’ OCC Charters ⚖️Digital Rights

cointelegraph.com·5d

Log in to enable infinite scrolling